31.11/32.55	unsat
