24.56/28.93	unsat
