8.77/10.56	unsat
