24.18/27.70	unsat
