23.15/24.93	unsat
