23.14/24.93	unsat
