7.88/12.41	unsat
