28.72/32.62	unsat
