31.49/31.53	unsat
