24.75/26.70	unsat
