31.51/62.16	unsat
