16.77/16.85	unsat
