16.85/19.11	unsat
