23.24/24.42	unsat
