16.66/19.11	unsat
