0.12/0.30	unsat
