0.11/0.30	unsat
