2.17/6.95	unsat
