7.98/10.28	unsat
