31.81/32.53	unsat
