31.60/31.78	unsat
