19.84/23.27	unsat
