5.67/9.41	unsat
