0.19/0.24	unsat
