0.03/0.07	unsat
