24.44/24.56	unsat
