24.55/27.72	unsat
