5.01/6.95	unsat
