28.98/32.54	unsat
