16.33/17.02	unsat
