24.36/24.42	unsat
