27.55/32.97	unsat
