23.06/24.52	unsat
