0.11/0.74	unsat
