27.17/32.86	unsat
