5.88/7.41	unsat
