16.17/18.96	unsat
