16.77/16.82	unsat
