7.89/10.34	unsat
