23.64/24.58	unsat
