5.67/9.48	unsat
