6.07/8.41	unsat
