0.01/0.07	unsat
