4.42/6.95	unsat
