9.77/10.28	unsat
