31.74/31.85	unsat
