5.08/6.95	unsat
