16.85/16.96	unsat
