24.52/26.70	unsat
