23.44/24.52	unsat
