16.77/17.82	unsat
