31.75/31.86	unsat
