24.12/24.27	unsat
