8.89/10.51	unsat
