0.04/0.07	unsat
