16.64/16.96	unsat
