23.25/24.69	unsat
