5.97/9.74	unsat
