31.13/32.61	unsat
