16.77/17.02	unsat
