24.25/24.34	unsat
