31.15/32.34	unsat
