23.72/24.27	unsat
