4.70/6.95	unsat
