24.40/24.46	unsat
