16.66/16.73	unsat
