5.87/7.41	unsat
