0.36/0.36	unsat
