9.77/10.51	unsat
