0.12/0.20	unsat
