19.76/20.27	unsat
