4.88/6.41	unsat
