0.24/0.30	unsat
