31.66/36.36	unsat
