20.24/23.27	unsat
