6.07/8.37	unsat
