0.20/0.24	unsat
