23.24/24.74	unsat
