4.88/6.95	unsat
