0.24/0.36	unsat
