0.02/0.02	unsat
