5.09/6.95	unsat
