31.50/32.54	unsat
