16.84/19.27	unsat
