23.85/24.27	unsat
