5.88/7.95	unsat
