23.14/24.74	unsat
