4.91/6.95	unsat
