31.83/32.45	unsat
