23.85/24.05	unsat
