19.84/20.27	unsat
