16.13/16.96	unsat
