28.55/32.72	unsat
