16.85/18.96	unsat
