7.08/7.95	unsat
