24.55/26.93	unsat
